Hoare logic - PDFSEARCH.IO - Document Search Engine

Hoare logic
Results: 111

#	Item
91	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
92	The Invariant Game Matteo Vaccari [removed] XP Day Eindhoven, 20 November 2008 Add to Reading List Source URL: matteo.vaccari.name Language: English - Date: 2008-11-24 09:30:00 Logic in computer science Program logic Hoare logic Computer programming Postcondition Precondition ALGOL 68 Initialization Invariant Software engineering Theoretical computer science Computing
93	Logical Concurrency Control From Sequential Proofs Jyotirmoy Deshmukh1 , G. Ramalingam2 , Venkatesh-Prasad Ranganath2 , and Kapil Vaswani2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-20 00:44:54 Concurrency control Concurrent computing Program logic Logic programming Concurrency Hoare logic Thread safety Parallel computing Linearizability Computing Computer programming Software engineering
94	Formal Verification of Distributed Programs using Session Types and Coq Morten Fangel Jensen Advisors: Jesper Bengtson and Fabrizio Montesi Submitted: June 2014 Add to Reading List Source URL: sevengoslings.net Language: English - Date: 2014-06-02 05:37:12 Applied mathematics Program logic Substructural logic Formal methods Formal verification Hoare logic Correctness Communications protocol Separation logic Theoretical computer science Mathematics Logic in computer science
95	The Bedrock Tutorial Adam Chlipala March 28, 2013 Contents 1 Three Veried Bedrock Programs Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2013-03-28 17:00:59 Program logic Logic in computer science Formal languages Proof theory Separation logic Hoare logic Coq Function Well-formed formula Logic Mathematics Mathematical logic
96	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics
97	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
98	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
99	A Realizability Model for Impredicative Hoare Type Theory Rasmus Lerchedahl Petersen1 , Lars Birkedal1 , Aleksandar Nanevski2 , and Greg Morrisett2 1 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Continuous function Valuation Impredicativity Orbifold Denotational semantics Mathematics Logic in computer science Calculus
100	Type-theoretic semantics for transactional concurrency Aleksandar Nanevski Paul Govereau Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Logic in computer science Procedural programming languages Formal methods Models of computation Hoare logic Separation logic First-order logic ALGOL 68 Mathematical logic Logic Theoretical computer science

UPDATE